翻訳と辞書 Words near each other ・ Computer Aided Surgery (journal) ・ Computer Aided Verification ・ Computer algebra system ・ Computer America ・ Computer analyst ・ Computer and Internet Protocol Address Verifier ・ Computer and Management Institute ・ Computer and network surveillance ・ Computer and Video Games ・ Computer animation ・ Computer Animation and Social Agents ・ Computaris ・ Computation ・ Computation and Neural Systems ・ Computation history ・ Computation in the limit ・ Computation of cyclic redundancy checks ・ Computation of radiowave attenuation in the atmosphere ・ Computation offloading ・ Computation tree ・ Computation tree logic ・ Computational aeroacoustics ・ Computational algebra ・ Computational and Mathematical Organization Theory ・ Computational and Statistical Genetics ・ Computational and Structural Biotechnology Journal ・ Computational and Systems Neuroscience ・ Computational and Theoretical Chemistry ・ Computational archaeology ・ Computational astrophysics Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Computation in the limit ： ウィキペディア英語版 Computation in the limit In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in the limit and limit recursive are also used. One can think of limit computable functions as those admitting an eventually correct computable guessing procedure at their true value. A set is limit computable just when its characteristic function is limit computable. If the sequence is uniformly computable relative to ''D'', then the function is limit computable in ''D''. == Formal definition == A total function $r(x)$ is limit computable if there is a total computable function $\backslash hat(x,s)$ such that : $\backslash displaystyle\; \backslash hat\; =\; \backslash lim\_\; \backslash hat(x,s)$ The total function $r(x)$ is limit computable in ''D'' if there is a total function $\backslash hat(x,s)$ computable in ''D'' also satisfying : $\backslash displaystyle\; \backslash hat\; =\; \backslash lim\_\; \backslash hat(x,s)$ A set of natural numbers is defined to be computable in the limit if and only if its characteristic function is computable in the limit. In contrast, the set is computable if and only if it is computable in the limit by a function $\backslash phi(t,i)$ and there is a second computable function that takes input ''i'' and returns a value of ''t'' large enough the $\backslash phi(t,i)$ has stabilized. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Computation in the limit」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.